(assert FloatingPoint
